#include <stdio.h>
int main()
{
    printf("4394");
}